- model extension theorem
- теорема о расширении модели
English-Russian scientific dictionary. 2008.
model extension theorem
Смотреть что такое "model extension theorem" в других словарях:
Extension (mathematics) — In mathematics, the word extension has many uses. See:Analysis* Carathéodory s extension theorem * Continuous linear extension * M. Riesz extension theorem * Krein extension theorem * Hahn Banach theoremAlgebra* Abelian extension * Algebraic… … Wikipedia
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
Conservative extension — In mathematical logic, a logical theory T2 is a (proof theoretic) conservative extension of a theory T1 if the language of T2 extends the language of T1; every theorem of T1 is a theorem of T2; and any theorem of T2 which is in the language of T1 … Wikipedia
Löwenheim–Skolem theorem — In mathematical logic, the Löwenheim–Skolem theorem, named for Leopold Löwenheim and Thoralf Skolem, states that if a countable first order theory has an infinite model, then for every infinite cardinal number κ it has a model of size κ. The… … Wikipedia
Type (model theory) — In model theory and related areas of mathematics, a type is a set of first order formulas in a language L with free variables x1, x2,…, xn which are true of a sequence of elements of an L structure . Loosely speaking, types describe possible… … Wikipedia
Relational model — The relational model for database management is a database model based on first order predicate logic, first formulated and proposed in 1969 by Edgar Codd. [ Derivability, Redundancy, and Consistency of Relations Stored in Large Data Banks , E.F … Wikipedia
Wold's theorem — This article is about the theorem as used in time series analysis. For an abstract mathematical statement, see Wold decomposition. In statistics, Wold s decomposition or the Wold representation theorem (not to be confused with the Wold theorem… … Wikipedia
Newton's theorem of revolving orbits — Figure 1: An attractive force F(r) causes the blue planet to move on the cyan circle. The green planet moves three times faster and thus requires a stronger centripetal force, which is supplied by adding an attractive inverse cube force. The … Wikipedia
Perron–Frobenius theorem — In linear algebra, the Perron–Frobenius theorem, proved by Oskar Perron (1907) and Georg Frobenius (1912), asserts that a real square matrix with positive entries has a unique largest real eigenvalue and that the corresponding… … Wikipedia
Time hierarchy theorem — In computational complexity theory, the time hierarchy theorems are important statements about time bounded computation on Turing machines. Informally, these theorems say that given more time, a Turing machine can solve more problems. For example … Wikipedia
